Differential Random Test